Formal methods

Results: 2204



#Item
921Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´

Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´

Add to Reading List

Source URL: goanna.cs.rmit.edu.au

Language: English - Date: 2010-01-13 00:16:18
922Application of ILP/RDM to Bioinformatics n n

Application of ILP/RDM to Bioinformatics n n

Add to Reading List

Source URL: www-ai.ijs.si

Language: English - Date: 2002-08-29 07:04:36
923Oracle User Productivity Kit Drastically Reduce Project Hours and Ensure the Right Software Solution and Seamless User Adoption Oracle User Productivity Kit (UPK) automatically creates your

Oracle User Productivity Kit Drastically Reduce Project Hours and Ensure the Right Software Solution and Seamless User Adoption Oracle User Productivity Kit (UPK) automatically creates your

Add to Reading List

Source URL: www.pcfltd.co.uk

Language: English - Date: 2012-07-26 06:22:58
924Quality Assurance for TDWG Standards and Software Introduction Software products, including software standards, can fail due to (1) complexity prevents completion, (2) the features change until resources are exhausted, (

Quality Assurance for TDWG Standards and Software Introduction Software products, including software standards, can fail due to (1) complexity prevents completion, (2) the features change until resources are exhausted, (

Add to Reading List

Source URL: wiki.tdwg.org

Language: English - Date: 2007-11-05 06:35:31
925Embedded Software Business Unit OAK SYSTEMS is a boutique Independent Software V & V and Testing Company headquartered in Bangalore, India and has been helping clients globally providing quality software solutions and se

Embedded Software Business Unit OAK SYSTEMS is a boutique Independent Software V & V and Testing Company headquartered in Bangalore, India and has been helping clients globally providing quality software solutions and se

Add to Reading List

Source URL: oaksys.net

Language: English - Date: 2013-04-05 08:27:36
926    CIBB  2015:  12th  International  Meeting  on  Computational  Intelligence  Methods  for  Bioinformatics   and  Biostatistics,     CNR  Research  Area,  Naples

    CIBB  2015:  12th  International  Meeting  on  Computational  Intelligence  Methods  for  Bioinformatics   and  Biostatistics,     CNR  Research  Area,  Naples

Add to Reading List

Source URL: bioinfo.na.iac.cnr.it

Language: English - Date: 2015-04-14 11:55:59
927The RUPple Effect Richard Tanner-Tremaine, Dunstan Thomas Consulting http://consulting.dthomas.co.uk RUP is just one of many acronyms and buzzwords that can strike fear into the heart of even the bravest souls in the sof

The RUPple Effect Richard Tanner-Tremaine, Dunstan Thomas Consulting http://consulting.dthomas.co.uk RUP is just one of many acronyms and buzzwords that can strike fear into the heart of even the bravest souls in the sof

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:35
928More RUP Anti-patterns Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk A recent article written by Julia Filho from Black Diamond Software (www.bds.com) - .pdf available from Rational web site

More RUP Anti-patterns Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk A recent article written by Julia Filho from Black Diamond Software (www.bds.com) - .pdf available from Rational web site

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
929White Paper Software Quality Management What is it and how can it be achieved ? Successfully driving business value from software quality management is imperative for many large organizations today.

White Paper Software Quality Management What is it and how can it be achieved ? Successfully driving business value from software quality management is imperative for many large organizations today.

Add to Reading List

Source URL: www.ezsource.com

Language: English - Date: 2014-03-20 05:44:24
930An End to Methodology Wars? Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Until recently, if you were to ask most professional developers what Development Methodology they used you would prob

An End to Methodology Wars? Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Until recently, if you were to ask most professional developers what Development Methodology they used you would prob

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:33